Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c

Source URL: infoscience.epfl.ch

• Computing
• Computer programming
• Software engineering
• File sharing
• Distributed computing
• Lambda calculus
• Logic in computer science
• Network architecture
• OCaml
• Combinatory logic
• Gossip protocol
• Peer-to-peer

The dagger lambda calculus

Source URL: www-mmm.is.s.u-tokyo.ac.jp

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Newman’s Typability Algorithm Herman Geuvers (joint work with Robbert Krebbers) Radboud University Nijmegen Technical University Eindhoven The Netherlands

Source URL: www.cs.ru.nl

• Symbol
• Lambda calculus
• Spectral theory
• Computer science
• Mathematics
• Academia
• Jordan normal form
• Spectral theory of ordinary differential equations

Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1

Source URL: www.angl.hu-berlin.de

• Theoretical computer science
• Grammar frameworks
• Complexity classes
• Theory of computation
• Type theory
• Formal languages
• Mathematics
• Categorial grammar
• NP
• Lambda calculus
• Model theory

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

ERRATA in “Lambda-calculus and Combinators, an Introduction” 2008 edition, Cambridge University Press, J. Roger Hindley, Jonathan P. Seldin,

Source URL: www.users.waitrose.com

Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi*

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Bidirectionalization
• Database theory
• Joint Electronics Type Designation System
• Combinatory logic
• Computing
• Military
• Electronics